package pat;

import java.text.DecimalFormat;
import java.util.Arrays;
import java.util.HashMap;
import java.util.Scanner;
import java.util.Vector;

public class WordCupBeating {

	public static void main(String[] args) {

		Scanner s=new Scanner(System.in);
		Vector<Character> v=new Vector<Character>();
		Vector<Double> vv=new Vector<Double>();
		String[] strs=new String[3];
		
		for(int i=0;i<strs.length;i++)
		{
			strs[i]=s.nextLine();
		}
		for(int j=0;j<strs.length;j++)
		{
			String[] sp=null;
			sp=strs[j].split(" ");
			double a[]={Double.parseDouble(sp[0]),Double.parseDouble(sp[1]),Double.parseDouble(sp[2])};
			HashMap map=new HashMap();
			map.put(Double.parseDouble(sp[0]),'W');
			map.put(Double.parseDouble(sp[1]),'T');
			map.put(Double.parseDouble(sp[2]),'L');
			Arrays.sort(a);
			vv.add(a[2]);
			v.add((Character) map.get(a[a.length-1]));
			
		}
		double d=(((vv.get(0)*vv.get(1)*vv.get(2)*(0.65))-1))*2;
		DecimalFormat df2  = new DecimalFormat("###.00");
		for(int i=0;i<v.size();i++)
		{
			System.out.print(v.get(i)+" ");
		}
		System.out.println(df2.format(d));
		
	}

}
